Πλοήγηση ανά Θέμα "Formal approach"
Αποτελέσματα 1-1 από 1
-
Article
Modeling and analysis of power-aware systems
(2003)The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating ...